home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.plaf.basic;
-
- import com.sun.java.swing.JComponent;
- import com.sun.java.swing.JTabbedPane;
- import java.awt.event.MouseAdapter;
- import java.awt.event.MouseEvent;
- import java.io.Serializable;
- import java.util.EventObject;
-
- class BasicTabbedPaneUI$MouseGetter extends MouseAdapter implements Serializable {
- // $FF: synthetic field
- BasicTabbedPaneUI this$0;
-
- public void mousePressed(MouseEvent e) {
- JTabbedPane pane = (JTabbedPane)((EventObject)e).getSource();
- int tabIndex = this.this$0.tabForCoordinate(pane, e.getX(), e.getY());
- if (tabIndex >= 0 && pane.isEnabledAt(tabIndex)) {
- if (tabIndex == pane.getSelectedIndex()) {
- ((JComponent)pane).requestFocus();
- ((JComponent)pane).repaint(this.this$0.rects[tabIndex]);
- } else {
- pane.setSelectedIndex(tabIndex);
- }
- }
-
- }
-
- // $FF: synthetic method
- BasicTabbedPaneUI$MouseGetter(BasicTabbedPaneUI this$0) {
- this.this$0 = this$0;
- }
- }
-